241. Artificial intelligence in theory and practice II
Author: / edited by Max Bramer
Library: Library of College of Science University of Tehran (Tehran)
Subject: Artificial intelligence -- Congresses
Classification :
Q
334
.
I445
2008
242. Asynchronous sequential machine design and analysis
Author: / Richard F. Tinder
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
Classification :
E-BOOK
243. Automata, Languages and Programming :
Author: edited by Hermann A. Maurer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information theory.,Software engineering.,Theory of Computation.
244. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
Author: Puppis, Gabriele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
Classification :
QA
267
.
P87
2010
245. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
246. Automated Deduction - CADE-23 :
Author: edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
247. Automated deduction - CADE-24 :
Author: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 ; Maria Paola Bonacina (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatisches Beweisverfahren,DÉDUCTION + DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE),DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ)
248. Automatic Control of Atmospheric and Space Flight Vehicles
Author: / Ashish Tewari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ENGINEERING, AEROSPACE|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& METHODS|AUTOMATION &COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
249. Automating Instructional Design:
Author: edited by Robert D. Tennyson, Ann E. Barron.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Educational technology.,Software engineering.
250. Automating Instructional Design, Development, and Delivery
Author: edited by Robert D. Tennyson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.
Classification :
LB1028
.
38
E358
1994
251. Autonomous Systems :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automation.,Computer science.,Engineering.,Operating systems (Computers),Software engineering.,Structural control (Engineering),Artificial intelligence.,Automation.,Automation.,Computer science.,Engineering.,Ingénierie.,Intelligent control systems.,Operating systems (Computers),Software engineering.,Structural control (Engineering)
Classification :
Q334
.
A98
2008
254. BL
Author: Alan Fogel, Barbara J. King and Stuart G. Shanker.
Library: Library of Islamic Parliament (Tehran)
Subject:
257. BL,BL
Author: / Marshall G.S. Hodgson. ,20090530 0
Library: Library of Islamic Parliament (Tehran)
Subject:
258. Baltic Computer Science :
Author: by Janis Barzdins, Dines Bjorner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
Classification :
QA76
.
B953
1991
259. Based Systems, Part II-Information Processing and Management of Uncertainty in Knowledge
Author: / llermeier, Rudolf Kruse, Frank HoffmannیEyke H
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
260. Based Systems. Theory and Methods-Information Processing and Management of Uncertainty in Knowledge
Author: / llermeier, Rudolf Kruse, Frank HoffmannیEyke H
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
